<html>
<head><meta charset="utf-8"><title>hello · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html">hello</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="158617187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/158617187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Welcome Bot <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#158617187">(Feb 15 2019 at 14:22)</a>:</h4>
<p>Welcome to <a class="stream" data-stream-id="186049" href="/#narrow/stream/186049-t-compiler.2Fwg-polonius">#t-compiler/wg-polonius</a>.</p>
<p><strong>Description</strong>: Experimenting with Polonius, an alternative borrow checker formulation.</p>



<a name="158617249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/158617249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#158617249">(Feb 15 2019 at 14:23)</a>:</h4>
<p>Hmm I thought that I subscribed all of <a class="stream" data-stream-id="122657" href="/#narrow/stream/122657-t-compiler.2Fwg-nll">#t-compiler/wg-nll</a> to this stream, but I might have made a mistake...</p>



<a name="158653040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/158653040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#158653040">(Feb 15 2019 at 21:56)</a>:</h4>
<p>compulsory <span aria-label="frog" class="emoji emoji-1f438" role="img" title="frog">:frog:</span></p>



<a name="163860572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/163860572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#163860572">(Apr 21 2019 at 17:37)</a>:</h4>
<p>hi! I recently stumbled over <span class="user-mention" data-user-id="116009">@nikomatsakis</span> blog post (<a href="http://smallcultfollowing.com/babysteps/blog/2019/04/15/more-than-coders/" target="_blank" title="http://smallcultfollowing.com/babysteps/blog/2019/04/15/more-than-coders/">http://smallcultfollowing.com/babysteps/blog/2019/04/15/more-than-coders/</a>) and as of looking for a new challenge after leaving academia after more than 10 years (Comp Sci) I decided that joining the Rust compiler team could be it. I had a look at the different WGs available (thanks to the hints t-compiler/learning-wg) and finally ended up here as of considering the idea of Polonius quite interesting but also as of a personal interest in type systems and programming languages as well as LP (Prolog and ASP so far). </p>
<p>In terms of actual contributions, I think on the code side I could start out with having a look (and hopefully fixing) issues from github - this probably also helps me better learning the existing code base. however, if necessary I'd be happy to also help out on the organisational side - I think this should also allow me to grasp a better overall picture of the WG and its workings/duties</p>



<a name="163860615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/163860615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#163860615">(Apr 21 2019 at 17:38)</a>:</h4>
<p>looking forward to hear back from anyone!</p>



<a name="163860617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/163860617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#163860617">(Apr 21 2019 at 17:38)</a>:</h4>
<p>oh yeah, and I'm from Austria and could invest at least one full day per week and if necessary up to 2 and a half</p>



<a name="163912764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/163912764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#163912764">(Apr 22 2019 at 15:42)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> Hi <span class="user-mention" data-user-id="218716">@lokalmatador</span> =) I'm kind of busy with a few other things today but I would say great to have you. We have a sync meeting tomorrow (as you can see on the compiler calendar) so we can chat a bit more then, if not before then.</p>



<a name="163915970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/163915970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#163915970">(Apr 22 2019 at 16:29)</a>:</h4>
<p>Great, I'll be there.</p>



<a name="164024197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/164024197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#164024197">(Apr 23 2019 at 19:55)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> oh btw, niko had a couple blogposts which were the catalysts for the polonius effort, they also have some interesting context</p>



<a name="164024206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/164024206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#164024206">(Apr 23 2019 at 19:55)</a>:</h4>
<p>I don't know if you've seen them already ?</p>



<a name="164024328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/164024328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#164024328">(Apr 23 2019 at 19:57)</a>:</h4>
<p>yup, they actually led me here <span aria-label="grinning face with smiling eyes" class="emoji emoji-1f601" role="img" title="grinning face with smiling eyes">:grinning_face_with_smiling_eyes:</span></p>



<a name="164024338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/164024338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#164024338">(Apr 23 2019 at 19:57)</a>:</h4>
<p>1) the <a href="http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/" target="_blank" title="http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/">original</a> 2) <a href="http://smallcultfollowing.com/babysteps/blog/2019/01/17/polonius-and-region-errors/" target="_blank" title="http://smallcultfollowing.com/babysteps/blog/2019/01/17/polonius-and-region-errors/">more region errors</a> 3) <a href="http://smallcultfollowing.com/babysteps/blog/2019/01/21/hereditary-harrop-region-constraints/" target="_blank" title="http://smallcultfollowing.com/babysteps/blog/2019/01/21/hereditary-harrop-region-constraints/">higher ranked issues</a> probably something more to be done in chalk I guess</p>



<a name="164024394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/164024394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#164024394">(Apr 23 2019 at 19:58)</a>:</h4>
<p>hehe ok :)</p>



<a name="164070885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/164070885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#164070885">(Apr 24 2019 at 11:02)</a>:</h4>
<p>I also meant to mention that with an interest/background in logic programming, chalk and wg-traits would likely also be up your alley <span class="user-mention" data-user-id="218716">@lokalmatador</span> cc <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="164072763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/hello/near/164072763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/hello.html#164072763">(Apr 24 2019 at 11:37)</a>:</h4>
<p>I see. Let me have a look tonite!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>